murrax.dev
Recently Edited:
Learning with Obsidian
Object Capabilities Security Model
Modal's GPU Glossary
ATiPL Problem Sheet 1
5
ii
data
Nat
=
Zero
|
Succ
Nat
sum
::
Nat
->
Nat
->
Nat
sum
Zero
b
=
b
sum
(
Succ
a
)
b
=
Succ
(
sum
a
b
)
Corrections
